Computer engineering - PDFSEARCH.IO - Document Search Engine

Computer engineering
Results: 53783

#	Item
931	STORAGE NETWORKING STANDARDS Management and Administration Building a Working Knowledge of Storage Networking Operations through a clear understanding of Solutions & Technology For professionals who are implementing and Add to Reading List Source URL: www.snia-sa.org Language: English - Date: 2010-10-20 15:16:23 Computing Computer data storage Telecommunications engineering Data management Storage area network Fibre Channel XAM Storage security ISO/IEC 27040
932	2012 StatePrinting Logo (Horizontal) Add to Reading List Source URL: www.generalservices.state.nm.us Language: English - Date: 2015-12-14 12:26:35 Computer programming Software engineering Computing Functional programming Monad Cal Monotype typefaces
933	CS:APP2e Web Aside ASM:X87: X87-Based Support for Floating Point∗ Randal E. Bryant David R. O’Hallaron June 5, 2012 Add to Reading List Source URL: csapp.cs.cmu.edu Language: English - Date: 2012-06-05 05:37:20 Computer architecture Computing Computer engineering Stack machines Central processing unit Instruction set architectures X86 architecture Floating point X87 Stack Processor register X86
934	Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia {abonnair,samth}@indiana.edu, Rowan.Davies@cba. Add to Reading List Source URL: frenchy64.github.io Language: English - Date: 2016-08-15 14:26:54 Software engineering Computing Computer programming Functional languages Concurrent programming languages Programming languages Procedural programming languages Cross-platform software Clojure Multiple dispatch Type system Dynamic programming language
935	DSLs in Haskell Ryan Newton Back-end Add to Reading List Source URL: vjovanov.github.io Language: English - Date: 2016-08-07 07:28:53 Software engineering Computer programming Declarative programming Functional languages Functional programming Data types Type theory Compilers Template Haskell Haskell Generalized algebraic data type Metaprogramming
936	Georg Heeg eK Baroper StrDortmund Germany Tel: +Fax: + Add to Reading List Source URL: www.heeg.de Language: English - Date: 2012-11-15 09:58:56 Software engineering Theoretical computer science Computing VisualWorks Cincom Systems Wavefront .obj file ALK OBJ
937	Robust and efficient translations in C++ using tables with zero-based enumerations 10 January 2015, Christophe Riccio G-Truc Creation Add to Reading List Source URL: www.g-truc.net Language: English - Date: 2015-01-10 12:26:20 Software engineering Computing Computer programming Data types C++ Java Enumerated type Type theory Const Enumeration Scope C++ classes
938	ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵｃｏｓｔ＠ＰＵＵＯＱＵｄｅｃｉｓｉｏｎｓｵ｢ｪ･｣ｴＺ＠ Add to Reading List Source URL: w3.cost.eu Language: English - Date: 2015-11-12 17:02:31 Software engineering Software Type theory Programming language theory Proof assistants Functional languages Formal methods Logic in computer science Formal verification Dependent type Agda Coq
939	Crowdsourcing General Computation Haoqi Zhang∗ , Eric Horvitz† , Rob C. Miller‡ , and David C. Parkes∗ ∗ Harvard SEAS Cambridge, MA 02138, USA {hq, parkes}@eecs.harvard.edu Add to Reading List Source URL: crowdresearch.org Language: English - Date: 2011-03-24 21:28:49 Algorithms Engineering Academia Applied mathematics Operations research Mathematical logic Theoretical computer science Human-based computation Divide and conquer algorithms Crowdsourcing Problem solving Computer science
940	Task-parallel versus data-parallel library-based programming in multicore systems Diego Andrade, Basilio B. Fraguela University of A Coru˜na, Spain {dcanosa,basilio}@udc.es Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2009-02-18 05:56:48 Computing Computer programming Parallel computing Software engineering Threading Building Blocks HTML Application Data parallelism Parchive Multi-core processor Task parallelism XC OpenMP

UPDATE